(define (f x) 1)

(define foo
  (if #t
	(f 3)
      (f (f 2))))

